perm filename LEMMA[1,JRA] blob sn#027882 filedate 1973-03-07 generic text, type T, neo UTF8
00100	VAR: x,y,z,u,v,w, X,Y,Z ,U;
00150	INF_PRED:=;PRE_PRED:B,D;
00175	PRE_OP:A,C;
00187	PRE_OP: f;
00200	EQUALITY: =;
00300	A1:B(x,y,f(y));
00400	A2:x=f(x);
00500	A3:¬B(A,C,C); ;